2. Verify that the concurrent algorithm does not exhibit concurrency issues
(data-races, deadlocks, . . . ).
